DoDAF的末段反导C2BM系统需求分析

末段反导指控与作战管理(Command,Control and Battle Manangement,C2BM)系统是末段反导系统的指挥控制中心.在系统分析末段反导系统的组成及末段反导C2BM系统工作过程的基础上,初步探讨了基于DoDAF(Department of Defense Architecture Framework)的末段反导C2BM系统需求分析方法和步骤,建立了末段反导C2BM系统的作战视图,对末段反导C2BM系统的体系结构及其信息交互进行了深入分析和可视化建模,保证了对末段反导C2BM系统需求理解的一致性,有效促进了军事人员与分析设计人员间的沟通和交流,为后续的开发夯实坚实的基础.     

基于控制环的作战网络对抗模型

战争的手段和用兵之道总是随着技术的发展而变化,借鉴网络中心战的思想,深入分析了分布式作战网络的生成机制,及其对抗行为的微观和宏观机制。在此基础上,针对信息时代由信息优势获得作战效能的本质特点,提出了控制环和行动节奏的概念,刻画不同对抗体系信息效能的差异;进而提出了作战网络的对抗模型和度量作战网络的效能指标。通过仿真实验分析,对比研究了不同网络结构(传统型、协同式和分布式)、不同攻击模式(随机打击、指控优先打击和度优先打击)对交战过程和结果的影响。     

对SAR微动调制干扰效果仿真分析

鉴于微动目标成像的特点,引入了一种基于微动调制的SAR新型欺骗干扰样式,建立了信号的理论模型,分析了信号的分布特性,并结合干扰自身特点讨论了分布式干扰的工作模式.在此基础上,从战术运用的角度出发,针对微动干扰样式的特点提出了基于欺骗度的干扰效能评估指标,并结合人工决策模式得到了干扰样式优选的判决条件,该评估方法复杂程度更低,更加易于工程实现.仿真实验结果表明,基于微动调制的干扰样式不仅能够在SAR图像方位向形成虚假目标串,而且通过布站能够对地面高价值军事目标形成有效保护,是一种有效稳健的干扰方法.     

基于改进动态规划的雷达弱小目标检测与跟踪

针对复杂背景下雷达弱小目标的检测和跟踪问题,提出了一种改进动态规划的检测前跟踪算法.该方法用多级检验判决方法代替常用的两级门限检测,并用传统跟踪技术进行目标位置状态估计,根据估计值与状态值的欧氏距离设计一个惩罚项来改进值函数.通过仿真验证,结果表明该方法能有效消除伪航迹,减小计算量,提高对雷达弱小目标的检测和跟踪性能.     

有源诱饵的极化鉴别研究

针对全极化测量体制雷达,研究了有源诱饵等欺骗性电子干扰的鉴别问题。首先详细分析了干扰机天线为圆极化和线极化两种典型情况下有源诱饵的极化特性,探讨了雷达目标的极化散射特性;而后提出了能够有效表征有源诱饵和雷达目标极化特性之间差异的参量———共交极化比及其峰值、聚类中心等概念和定义,并设计了有源诱饵的极化鉴别算法;最后,结合实测数据,计算机仿真实验表明鉴别算法的可行性和有效性。     

聚碳硅烷表面张力的测定及其对纤维异形度的影响机理

采用改进的滴重法测定了先驱体聚碳硅烷(PCS)的表面张力,并探讨了表面张力对三叶形聚碳硅烷原丝异形度的影响机理。通过对纤维截面形貌的扫描电镜分析,发现表面张力对三叶形PCS纤维异形截面的形成有着较大的影响,它和粘滞阻力相互竞争的共同作用决定了三叶形PCS纤维异形度的大小。研究表明,先驱体PCS的表面张力与温度基本上呈线性关系,温度越高,PCS的表面张力就越小。     

轴对称物体空泡流动的数值计算

基于势流理论和边界元方法,对水下运动的回转体的空泡流进行了数值模拟.将半经验空泡封闭模型由平面流动推广至轴对称流动.对头部为圆锥的圆柱体空泡流动进行了数值计算.分析了空化数、半锥角、空泡长度间的关系.计算与实验结果符合较好.     

分解炉内三维湍流流场数值模拟

针对某大型高性能分解炉的实际尺寸,用Realizable(带旋流修正的)k-ε模型,采用SIMPLE算法,二阶迎风差分格式,模拟了炉内三维湍流流场.计算所得的速度、压力分布与该炉热工标定的结果以及其实际运行的性能符合较好.     

时态逻辑形式化描述并发系统性质

时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例.     

面向对象技术在仿真测试系统中的应用

面向对象技术在软件系统开发中得到了广泛的应用。本文基于作者的分析与理解,阐述了面向对象设计方法的特点及其为软件设计方法所带来的变化。通过面向对象设计方法的应用,实例化了面向对象设计方法的特点,进一步展示了面向对象设计方法可能为软件方法带来的进步。